Over the past 20 years, the participation of laypersons or representatives of civil society has become a guiding principle in processes of research and innovation. There is now a significant litera...

This volume of Metatheoria includes translations into Spanish of the three famous papers on the schools in foundations of mathematics, logicism, intuitionism and formalism, presented at the Königsberg’s Symposium on Foundations of Mathematics in September 1930 and finally published in the journal Erkenntnis in 1931. The three papers constituted a milestone in the Philosophy of Mathematics of the last century. In this introduction to the translations, the editors of the volume outline the historical context in which the original papers were (...) conceived and they include some details concerning their original publication. They also stress the decisive role played by the papers in the philosophy of mathematics in the last century. A summary of them is provided and the underlying ideas of the Vienna Circle on the nature of mathematics and the impact of Gödel theorems in the foundations programs are discussed. Moreover, they briefly introduce the original contributions to the volume that follow the translations. (shrink)

The aim of this paper is to frame briefly Chateaubriand’s conception of logical forms in the distinction between logic and language as calculus and logic as universal language, devised by Jean van Heijenoort and later generalized by Jaakko Hintikka. The most important reasons to connect Chateaubriand’s conception with this distinction are perhaps Chateaubriand’s criticism of the linguistic approach to logical forms and the role Chateaubriand assigns to symbolism in his own account.O propósito deste artigo é localizar brevemente a concepção de (...) forma lógica de Chateaubriand com relação à distinção entre lógica e linguagem como cálculo e lógica como linguagem universal, introduzida por Jean van Heijenoort e depois generalizada por Jaako Hintikka. Talvez a razão mais importante para conectar a concepção de Chateaubriand com esta distinção sejam suas críticas ao tratamento linguístico das formas lógicas, e o papel que Chateaubriand atribui ao simbolismo em seu próprio tratamento. (shrink)

Este trabajo tiene por objetivo examinar la idea de deducción metamatemática en el programa de Hilbert, mostrando su dependencia de conceptos gnoseológicos, tales como el de conocimiento intuitivo. También se comparará esta concepcion de la deducción con la fundamentación intuicionista de la logica. Sostendré que esta deducción metamatemática lleva a una caracterización de la logica como una teoría de las deducciones formales en un sentido particular.This paper aims to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence (...) of epistemological notions, such as intuitive knowledge. This conception of deduction will be also compared with the intuitionistic foundation of logic. I will argue that this metamathematical deduction leads to a characterization of logic as a theory of formal deductions in a particular sense. (shrink)

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulation. The (...) second level of foundation consists in warranting epistemologically the validity of the combinatory processes underlying the symbolic manipulation in metamathematics. In this level the justification was carried out with the aid of notions from modern epistemology, particularly the notion of intuition. Finally, some problems concerning Hilbert’s use of this notion will be shown and it will be compared with Brouwer’s. (shrink)

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulation. The (...) second level of foundation consists in warranting epistemologically the validity of the combinatory processes underlying the symbolic manipulation in metamathematics. In this level the justification was carried out with the aid of notions from modern epistemology, particularly the notion of intuition. Finally, some problems concerning Hilbert’s use of this notion will be shown and it will be compared with Brouwer’s. (shrink)

Javier Legris examines my views on symbolism and logical form in relation to two important distinctions emphasized by Jean van Heijenoort—the distinction between logic as calculus and logic as universal language, and the distinction between absolutism and relativism in logic. I generally agree with his considerations and focus my response on some relevant aspects of classical logic.Javier Legris examina minhas considerações sobre simbolismo e forma lógica em relação à duas distinções enfatizadas por Jean van Heijenoort: a distinção entre (...) lógica como cálculo e lógica como linguagem universal, e a distinção entre absolutismo e relativismo na lógica. Estou basicamente de acordo com suas observações e em minha réplica enfoco alguns aspectos relevantes da lógica clássica. (shrink)

History and Philosophy of Logic, Volume 33, Issue 3, Page 291-293, August 2012.

Comment devient-on philosophe? Par quel sursaut un Aristoclès se fait-il Platon, jusqu'à s'imposer dans la liste des " auteurs philo " Il faut enquêter, non pas sur la vie privée, mais sur la vie intime : rumination intellectuelle, ton sur lequel on parle, motivations amoureuses... Ce qui fait un philosophe, c'est un immense travail sur soi, et la rencontre d'autres philosophes, vivants, de leurs problématiques. Mémoire sémantique + obsession métaphysique, voilà le code génétique du philosophe. Il débute par un attentat (...) religieux, puisqu'il commence sa carrière en niant tel ou tel sacré. Bien sûr, il vaut mieux être mâle, communiquer par les livres adopter la langue dominante, écrire quand on est célibataire. Comment gagner sa vie? Pas forcément en étant enseignant, comme c'est le cas aujourd'hui. Le profil du philosophe nous le révèle orphelin, vivant à l'étranger, souvent laid, jamais fou, et serial thinker, prêt à changer de philosophie pourvu qu'il reste, lui, à menacer le monde donnera ou donnera pas du sens à notre vie? Le philosophe est l'être inquiet qui pense inquiéter l'Être par deux trois mots bien aiguisés. (shrink)

While there are numerous doubts, controversies and lack of consensus on alternative definitions of human death, it is argued that it is more ethical to allow people to choose either cessation of cardio-respiratory function or loss of entire brain function as the definition of death based on their own views. This paper presents the law of organ transplantation in Japan, which allows people to decide whether brain death can be used to determine their death in agreement with their family. Arguably, (...) Japan could become a unique example of individual choice in the definition of death if the law is revised to allow individuals choose definition of death independently of their family. It suggests that such an approach is one of the reasonable policy options a country can adopt for legislation on issues related to the definition of death. (shrink)

Extraterrestrial Altruism examines a basic assumption of the Search for Extraterrestrial Intelligence (SETI): that extraterrestrials will be transmitting messages to us for our benefit. This question of whether extraterrestrials will be altruistic has become increasingly important in recent years as SETI scientists have begun contemplating transmissions from Earth to make contact. Technological civilizations that transmit signals for the benefit of others, but with no immediate gain for themselves, certainly seem to be altruistic. But does this make biological sense? Should we (...) expect altruism to evolve throughout the cosmos, or is this only wishful thinking? Is it dangerous to send messages to other worlds, as Stephen Hawking has suggested, or might humankind benefit from an exchange with intelligence elsewhere in the galaxy? Would extraterrestrial societies be based on different ethical principles, or would we see commonalities with Earthly notions of morality? Extraterrestrial Altruism explores these and related questions about the motivations of civilizations beyond Earth, providing new insights that are critical for SETI. Chapters are authored by leading scholars from diverse disciplines—anthropology, astronomy, biology, chemistry, computer science, cosmology, engineering, history of science, law, philosophy, psychology, public policy, and sociology. The book is carefully edited by Douglas Vakoch, Director of Interstellar Message Composition at the SETI Institute and professor of clinical psychology at the California Institute of Integral Studies. The Foreword is by Frank Drake. This interdisciplinary book will benefit everybody trying to understand whether evolution and ethics are unique to Earth, or whether they are built into the fabric of the universe. (shrink)

How (Not) to Be Secular is what Jamie Smith calls "your hitchhiker's guide to the present" -- it is both a reading guide to Charles Taylor's monumental work A Secular Age and philosophical guidance on how we might learn to live in our times. Taylor's landmark book A Secular Age (2007) provides a monumental, incisive analysis of what it means to live in the post-Christian present -- a pluralist world of competing beliefs and growing unbelief. Jamie Smith's book is a (...) compact field guide to Taylor's insightful study of the secular, making that very significant but daunting work accessible to a wide array of readers. Even more, though, Smith's How (Not) to Be Secular is a practical philosophical guidebook, a kind of how-to manual on how to live in our secular age. It ultimately offers us an adventure in self-understanding and maps out a way to get our bearings in today's secular culture, no matter who "we" are -- whether believers or skeptics, devout or doubting, self-assured or puzzled and confused. This is a book for any thinking person to chew on. (shrink)

Ludwig Wittgenstein (1889-1951) was an extraordinarily original thinker, whose influence on twentieth-century thinking far outside the bounds of philosophy alone. In this engaging Introduction, A.C. Grayling makes Wittgenstein's thought accessible to the general reader by explaining the nature and impact of Wittgenstein's views. He describes both his early and later philosophy, the differences and connections between them, and gives a fresh assessment of Wittgenstein's continuing influence on contemporary thought.

Introduction: Conversion and the practice of transformation -- The philosophical structure of Jonathan Edwards's religious affections -- Habit, habit change, and conversion in C.S. Peirce -- Reconstructing faith : religious overcoming in Dewey's pragmatism -- Transforming obligation in William James -- Dwelling in absence: the reflective origin of conversion -- Creative transformation : the work of conversion -- The evasion of conversion in recent American philosophy.

Background: The magnitude of bullying and harassment among psychiatrists is reportedly high, yet no peer-review published studies addressing this issue could be found. Therefore, it was decided to conduct a pilot study to assess the degree of the problem, the types of bullying/harassment and to provide some insights into the situation.Methods and Principal Findings: Following multiple focus group meetings, a yes/no response type questionnaire was developed to assess the degree and type of bullying and harassment experienced by psychiatrists. Over a (...) 3-month period the questionnaire was administered to a random sample of 60 psychiatrists. 57 out of the 60 psychiatrists reported harassment and bullying. Frequencies of the following response variables are presented in descending order: rumours 40% ; defamation 20% ; passing remarks 20% ; false accusations 15% ; threats 13.3% ; verbal abuse 13.3% ; unjustified complaints 13.3% ; promotion blocked 13.3% ; humiliation 13% ; bad reference given 10% ; credentials questioned 8.3% ; physical attacks 5% ; termination 5% ; derogatory remarks 1.7% and 1.7% were subjected to personal work. As a result of being subjected to harassment, 66.7% of the psychiatrists did not take any action, whereas 33.3% confronted the person they believed responsible. Asked whether the bullying and harassment caused distress, 18.3% of the psychiatrists did not report any effect, 30% reported mild distress, 40% moderate distress and severe distress was reported by 11.7%.Conclusions: It was concluded that the magnitude of bullying and harassment among psychiatrists may be quite high, as evidenced by this pilot study. There is a need for extensive systematic studies on this subject and to establish strategies to prevent and address this issue at a national and regulatory level. (shrink)

The urgency of the research topic is that the theoretical and methodological principles of psychology of managerial activity of the head in the conditions of the information society help to increase the levers of management and guidance. The purpose of management - the receipt of the desired result, which must be obtained after the actions of the management of the head as the main operating force, which is heading for transformations, tries to increase the self-governing principle in the organization. The (...) problem of research is that for effective management it is necessary to develop reliable mechanisms for the identification and development of manager's abilities, to increase the level of professionalism and competence of the head to the highest level, so that the management organism does not disorient. A person who works as a specialist, a professional, a competent person can be qualified to carry out the work of a manager. The hypothesis is put forward that the manager of a high level of professionalism and competence is able to form the psychological foundations of the organization, so that it worked as a single social organism. The task of the research is to analyze the psychological foundations of management activity in the conditions of the information society, which would allow the most optimal management of a particular organization. The methodological foundations of the psychology of management as the basis of effective leadership include methods of cultural development, which are used to solve the problems of organization, the formation of psychological culture, devoid of conflicts, contradictions, disasters. Methodological basis of scientific research of psychological principles of administrative activity as the basis of effective management are methods, such as system, structural, structural-functional, historical, comparative, which allow to achieve a higher level of organization and self-organization at the expense of skilful leadership. Therefore, the manager must use the whole set of methods, techniques, algorithms of actions, techniques, methods of achieving certain results that will lead to the management of a high level. It is concluded that the determinants of the optimization of the managerial psychology of the head is a model aimed at regulating relationships, which would use the resources of the information society, which is based on high information provision for improving the efficiency of management work. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)